Galois Transformers and Modular Abstract Interpreters Reusable Metatheory for Program Analysis David Darais Matthew Might

Source URL: matt.might.net

• Computer programming
• Mathematics
• Software engineering
• Functional programming
• Monad
• operator
• Structure
• Closure

Crossing the Gap from Imperative to Functional Programming through Refactoring Alex Gyori Lyle Franklin

Source URL: dig.cs.illinois.edu

LogGC: Garbage Collecting Audit Log Kyu Hyung Lee Xiangyu Zhang Dongyan Xu Department of Computer Science and CERIAS, Purdue University West Lafayette, IN 47907, USA

Source URL: friends.cs.purdue.edu

• Computing
• Software
• Object-oriented programming languages
• Data management
• Computer systems
• Concurrent programming languages
• Functional languages
• Tuple
• Scala
• Log analysis
• Extensible Storage Engine
• Logfile

[Faculty of Science Information and Computing Sciences] Polymorphic Contexts FP-Dag 2015 Doaitse Swierstra

Source URL: wwwhome.cs.utwente.nl

• Computing
• Data types
• Software engineering
• Functional programming
• Knowledge representation
• Dependently typed programming
• Generalized algebraic data type
• Type theory
• Rm
• Tree

Daniel R. Licata Personal Information: E-mail:

Source URL: dlicata.web.wesleyan.edu

• Type theory
• International Conference on Functional Programming
• Programming language theory
• Homotopy type theory
• Twelf
• Dependent type
• Logical framework
• Functional programming
• SIGPLAN
• Programming language
• Symposium on Principles of Programming Languages
• Agda

Under consideration for publication in J. Functional Programming 1 Translation of Tree-processing Programs into Stream-processing Programs

Source URL: www-kb.is.s.u-tokyo.ac.jp

Hardware Design and Functional Programming: Still Interesting after All These Years

Source URL: www.icfpconference.org

• APL programming language family
• IBM software
• APL
• Digital electronics
• Computer
• Hardware description language
• Computing
• Kenneth E. Iverson

Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming Rafael Caballero, Mario Rodr´ıguez Artalejo, and Rafael del Vado V´ırseda Dep. Sistemas Inform´ aticos y Programaci´ on, Univ. Comp

Source URL: gpd.sip.ucm.es

Patterns as Objects in Grace Michael Homer James Noble Kim B. Bruce

Source URL: homepages.ecs.vuw.ac.nz

• Software engineering
• Computer programming
• Computing
• Functional programming
• Object-oriented programming languages
• Functional languages
• Data types
• Subroutines
• Scala
• Pattern matching
• Algebraic data type
• Factory

c Cambridge University Press 2010 JFP 20 (3 & 4): 271–302, 2010.  271 doi:S095679681000016X First published online 29 September 2010

Source URL: publications.lib.chalmers.se

• Software engineering
• Computer programming
• Computing
• Type theory
• Functional programming
• Data types
• Generic programming
• C++
• Type class
• Glasgow Haskell Compiler
• Monad
• Haskell